Towards Automating Simulation-Based Design Verification Using ILP
نویسندگان
چکیده
Increasing the productivity of simulation-based semiconductor design verification is one of the urgent challenges identified in the International Technology Roadmap for Semiconductors. The most difficult aspect is the generation of stimulus for functional coverage closure. This paper introduces a new CoverageDirected test Generation (CDG) feedback loop which applies Inductive Logic Programming (ILP) to selected tests and coverage data to induce rules that can be used to automatically direct stimulus generation towards outstanding coverage. The case study documented in this paper shows a significant reduction of simulation time when ILP-based CDG is compared to random test generation. This is an exciting and promising new application area for ILP.
منابع مشابه
Control Simulation and Experimental Verification of Maximum Power Point Tracking Based on RT-LAB (TECHNICAL NOTE)
The maximum power point tracking (MPPT) control in the Photovoltaic system is the key control technology, however present controller has the disadvantages of long development cycle, high cost and complex verification, and there are some disadvantages carrying out totally physical simulation or totally digital simulation of different control algorithms. This paper carried out design of hardware ...
متن کاملAn Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs
This paper describes our state-of-the-art design flow used for specification, implementation and verification of a 10 million gates ASIC Systemon-Chip (SoC) for a Sonet/SDH application. We present our tools and methodologies currently used and/or being developed for a multisite ASIC design project from the first specification up to the gate level netlist: our multi-site data management environm...
متن کاملآزمون خودکار نرمافزارهای شیگرا با استفاده از موردهای کاربری و ضوابط OCL
Test automation is one of the major areas in software engineering. Test automation can reduce the high cost of software development and at the same time increases the reliability of the testing process. In this paper we present a novel specification based framework for automating test process based on use case scenarios. It receives software specification that defined with UML at design level a...
متن کاملExperiments in Automating Hardware Verification Using Inductive Proof Planning
We present a new approach to automating the veriication of hardware designs based on planning techniques. A database of methods is developed that combines tactics, which construct proofs, using speciications of their behaviour. Given a veriication problem, a planner uses the method database to build automatically a specialised tactic to solve the given problem. User interaction is limited to sp...
متن کاملPseudo-Boolean Heuristics for 0-1 Integer Linear Programming
Many Integer Linear Programming (ILP) problems contain significant subproblems exclusively composed of 0-1 (binary) variables. Much effort has gone in to special solvers for 0-1 ILP, as well as specialized versions of 0-1 ILP. The boolean satisfiability problem (SAT), is fundamental to many fields, including Artificial Intelligence, Formal Verification, and Computer Aided Design, and can be vie...
متن کامل